Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning and Robert Hirschfeld

Source URL: www.vpri.org

• Constraint programming
• Constraint satisfaction
• Constraint logic programming
• Constrained optimization
• Kaleidoscope
• Decomposition method
• Hidden transformation

Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2

Source URL: www.sci.unich.it

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Automated theorem proving
• Constraint programming
• Predicate logic
• Frama-C
• Satisfiability modulo theories
• TPTP
• Mereology
• SPASS

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

ConstraintJS: Programming Interactive Behaviors for the Web by Integrating Constraints and States Stephen Oney, Brad Myers Carnegie Mellon University Pittsburgh, PAUSA {soney, bam}@cs.cmu.edu

Source URL: from.so

• Software engineering
• Computer programming
• Declarative programming
• Constraint programming
• Programming paradigms
• JavaScript
• Futures and promises
• Constraint
• Constraint logic programming
• Constraint satisfaction

Santini_Francesco_SR_INRIA

Source URL: fellowship.ercim.eu

• Declarative programming
• Constraint programming
• Software engineering
• Theoretical computer science
• Programming paradigms
• Graph theory
• Constraint logic programming
• Logic programming
• Graph rewriting
• Graph

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu

Source URL: www.cs.stanford.edu

• Constraint programming
• Automated theorem proving
• Theoretical computer science
• Mathematics
• Mathematical logic
• Markov logic network
• WalkSAT
• Graph partition
• Nibbles
• Local search
• Resolution
• Alchemy

CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm